例句與造句

1. The proofs based on back and forth method for two theorems in modal logic
   模態(tài)邏輯兩個定理的基于向前向后方法的證明
2. It's difficult to find back and forth method in a sentence. 用back and forth method造句挺難的